#include <stdio.h>
#include <stdbool.h>
#include <stdint.h>
#include "stdarg.h"
#include "gecko_interface.h"



__weak int gecko_printf(const char *format,...)
{
    char printf_buf[1024];  
    va_list args;  
    int printed;  

    va_start(args, format);  
    printed = vsnprintf(printf_buf, 1024, format, args);  
    va_end(args);  

    printf("%s",printf_buf);  

    return printed; 
}
